منابع مشابه
Symbolic Verification of MOS Circuits1
The program MOSSYM simulates the behavior of a MOS circuit represented as a switch-level network symbolically. That is, during simulator operation the user can set an input to either 0, 1, or a Boolean variable. The simulator then computes the behavior of the circuit as a function of the past and present input variables. By using heuristically efficient Boolean function manipulation algorithms,...
متن کاملGuest Column: Small Depth Quantum Circuits1
Small depth quantum circuits have proved to be unexpectedly powerful in comparison to their classical counterparts. We survey some of the recent work on this and present some open problems.
متن کاملA Polylogarithmic Concurrent Data Structures from Monotone Circuits1
The paper presents constructions of useful concurrent data structures, including max registers and counters, with step complexity that is sublinear in the number of processes, n. This result avoids a well-known lower bound by having step complexity that is polylogarithmic in the number of values the object can take or the number of operations applied to it. The key step in these implementations...
متن کاملLow-power Logic Styles for Full-adder Circuits1
This paper contributes to a better knowledge of the behaviour of conventional CMOS and CPL full-adder circuits when low voltage, low power or small power-delay products are of concern. It completes and overcomes limitations of previous studies as optimal power-delay curves, for CPL and CMOS full adders, have been built up using an automatic sizing tool based on statistical optimization. Supply ...
متن کاملTo plug or not to plug?
Coronary artery disease remains a common problem in industrialized countries. Percutaneous coronary interventions are usually performed utilizing the femoral approach. Arterial puncture-closing devices have been developed in hope to avoid manual compression and shortening the period of rest. In a recent meta-analysis in the Journal of the American Medical Association these devices have shown on...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Experimental Analysis of Behavior
سال: 1962
ISSN: 0022-5002
DOI: 10.1901/jeab.1962.5-460